Построен графический формализм «маршрутные сети» для представления структуры программных приложений реального времени. Формализм ориентирован на проверку корректности межзадачных интерфейсов. Определены границы применимости методов анализа корректности межзадачных связей на основе использования графов состояний и переходов. На основе введения понятия профиля задачи построен метод оценки значений фактора блокирования в системах со сцепленными критическими интервалами доступа к разделяемым ресурсам.
Изложен подход к использованию средств языка XML для спецификации межзадачных и внешних интерфейсов в программных приложениях реального времени. Спецификации позволяют представлять множество задач, составляющих программное приложение; последовательность сегментов кода в каждой из задач; множество интерфейсных элементов, обеспечивающих межзадачные связи; множество датчиков и эффекторов, реализующих связь программного приложения с внешним оборудованием. Элементы спецификации снабжаются динамическими характеристиками исполнения моделируемых объектов. Обработка спецификаций позволяет проверять гарантии своевременности выполнения функций системы реального времени.
1 - 2 из 2 результатов